WALKER INSTITUTE EXTERNAL SEMINAR “Climate Change Science and Policy” David Warrilow Department for Energy and Climate Change

Source URL: www.walker-institute.ac.uk

TALx86: A Realistic Typed Assembly Language∗ Greg Morrisett Karl Crary† Neal Glew Dan Grossman Richard Samuels Frederick Smith David Walker Stephanie Weirich Steve Zdancewic Cornell University Abstract

Source URL: www.cs.cornell.edu

• Assembly languages
• X86 architecture
• C programming language
• Assemblers
• X86 instructions
• Calling convention
• Low-level programming language
• Java bytecode
• X86
• Computing
• Computer architecture
• Software engineering

Typed Memory Management in a Calculus of Capabilities∗ Karl Crary Carnegie Mellon University David Walker Cornell University

Source URL: www.cs.cornell.edu

• Region-based memory management
• Pointer
• Entailment
• Logic
• Deduction
• Symbol

A Long Duration Balloon survey telescope to explore the life cycle of the interstellar medium David Hollenbach (NASA Ames) Chris Walker, Craig Kulesa (Arizona)

Source URL: newt.phys.unsw.edu.au

• Space
• Astrochemistry
• Interstellar medium
• Molecular cloud
• Mopra Observatory
• Interstellar cloud
• Star formation
• Galaxy
• Milky Way
• Astronomy
• Nebulae
• Space dust

PLENARY SPEAKERS IN ALPHABETICAL ORDER OF PAPER TITLES Australian Books in the American Literary Marketplace: The Limits of Transnationalism David Carter Professor of Australian Literature and Cultural History

Source URL: www.ub.edu

• David Walker
• Anxious Nation
• Culture of Australia
• Australian studies
• Cross-cultural
• Multiculturalism
• R. Radhakrishnan
• Cultural studies
• Science
• Sociology

A Type System for Expressive Security Policies∗ David Walker Cornell University Strong type systems such as those of Java or ML provide provable guarantees about the run-time behaviour of programs. If we type check pro

Source URL: www.cs.cornell.edu

• Logic
• Mathematical logic
• First-order logic
• Model theory
• Predicate logic
• Symbol
• Computability
• Finite-state machine
• Linear temporal logic
• Automata theory
• Models of computation
• Theoretical computer science

Alias Types for Recursive Data Structures ∗ David Walker and Greg Morrisett Cornell University Abstract Linear type systems permit programmers to deallocate or

Source URL: www.cs.cornell.edu

• Primitive types
• Pointer
• Type safety
• Reference
• Aliasing
• Linked list
• Stack
• Software engineering
• Data types
• Computing

Typed Memory Management in a Calculus of Capabilities∗ David Walker Cornell University Karl Crary Carnegie Mellon University

Source URL: www.cs.cornell.edu

• Computer programming
• Type theory
• Data types
• Region-based memory management
• Constructor
• Calculus
• Lambda calculus
• Type system
• Monad
• Computing
• Software engineering
• Memory management

Alias Types ∗ Frederick Smith David Walker Greg Morrisett

Source URL: www.cs.cornell.edu

• Data types
• Pointer
• Type safety
• Stack
• C
• Aliasing
• Software engineering
• Computing
• Programming language theory

From System F to Typed Assembly Language GREG MORRISETT and DAVID WALKER Cornell University KARL CRARY Carnegie Mellon University and

Source URL: www.cs.cornell.edu

• Computing
• Models of computation
• Functional languages
• Program analysis
• Type system
• Standard ML
• Type safety
• Typed assembly language
• Lambda calculus
• Software engineering
• Type theory
• Programming language theory